A Framework for Using Aldor Libraries with Maple
نویسندگان
چکیده
This paper examines what is required to use Aldor libraries to extend Maple in an effective and natural way. This represents a non-traditional approach to structuring computer algebra software: using an efficient, compiled language, designed for writing large complex mathematical libraries together with a top-level system based on userinterface priorities and ease of scripting. Our method involves the generation of Maple, C and Aldor stub code, uses a number of supporting modules, and relies on an enhanced foreign function interface for Maple. Since the language models of Maple and Aldor differ, the interface code implements various semantic correspondences. The Aldor functions run tightly coupled to the Maple environment, able to directly and efficiently manipulate Maple data objects. We call the overall system Mapal.
منابع مشابه
A Study in the Integration of Computer Algebra Systems: Memory Management in a Maple–aldor Environment
We have undertaken to study the problems which arise in the tight coupling of computer algebra systems. By this we mean having multiple computer algebra systems share the same address space so that objects created by one system can be passed passed by reference in calls to another system. As an interesting practical problem, we have explored the case of using Aldor code from within the Maple sy...
متن کاملParametric Polymorphism for Computer Algebra Software Components
This paper presents our experiments in providing mechanisms for parametric polymorphism for computer algebra software components. Specific interfaces between Aldor and C++ and between Aldor and Maple are described. We then present a general solution, Generic IDL (GIDL), an extension to CORBA IDL supporting generic types. We describe our language bindings for C++, Java 1.5 and Aldor as well as a...
متن کاملAsymptotic Expansions with Oscillating CoeÆcients
In recent years, Computer Algebra has seen signi cant advances on a wide range of fronts. One of the many areas of development has been Symbolic Asymptotics. The exp{log functions are those de ned by expressions built from the rational numbers Q and the variable, x, using arithmetic operations and the functions exp and log, with the understanding that the latter is only applied to arguments whi...
متن کاملGeneric Programming Techniques in Aldor
Certain problems in mathematical computing present unusual challenges in structuring software libraries. Although generics, or templates as they are sometimes called, have been in wide use now for many years, new ways to use them to improve library architecture continue to be discovered. We find mathematical software to be particularly useful in exploring these ideas because the domain is extre...
متن کاملParametric Polymorphism Optimization for Deeply Nested Types in Computer Algebra
Computer algebra systems, such as Axiom, and programming languages designed for computer algebra, such as Aldor, have very flexible mechanisms for generic code, with type parameterization. Modern versions of Maple can support this style of programming through the use of Maple's module system, and by using module-producing functions to give parametric type constructors. From the software design ...
متن کامل